Die Kleensche Normalenform ist ein Begriff aus der Berechenbarkeitstheorie. Sie besagt, dass man jede partiell-rekursive Funktion mit Hilfe nur eines einzigen μ-Operators (While-Schleife) darstellen kann. ==Beweisidee== Um zu beweisen, dass jede partiell-rekursive Funktion mit nur einer einzigen While-Schleife geschrieben werden kann, konstruiere...